My first fifteen compilers (2019)
blog.sigplan.orgΒ·2hΒ·
Discuss: Hacker News
πŸ”¬Nanopasses
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.orgΒ·18h
πŸ“ŠLog Parsers
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comΒ·22h
πŸ“šStack Allocation
Flag this post
Advanced 3D IC Heterogeneous Integration Analysis via Bayesian Optimization and AI-Driven Defect Mapping
dev.toΒ·5hΒ·
Discuss: DEV
⚑JIT Optimizations
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.orgΒ·1dΒ·
Discuss: Hacker News
🌱Minimal Languages
Flag this post
Smart Handling Of Reset Domain Crossings To Non-Resettable Flip-Flops
semiengineering.comΒ·1d
πŸ”’Bit Manipulation
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.skΒ·14hΒ·
πŸ“‘Erlang BEAM
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.comΒ·1dΒ·
Discuss: Hacker News
πŸ”—Borrowing Extensions
Flag this post
About writing control systems in C
reddit.comΒ·3hΒ·
Discuss: r/embedded
πŸ”€Control Structures
Flag this post
Exhaustive Guide to Generative and Predictive AI in AppSec
qwiet.aiΒ·13hΒ·
Discuss: DEV
πŸ›‘οΈTaint Analysis
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
blog.jetbrains.comΒ·2dΒ·
Discuss: Hacker News
πŸ§ͺCompiler Testing
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comΒ·1d
βš–οΈInference Rules
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.orgΒ·1dΒ·
Discuss: Hacker News
πŸ”ͺProgram Slicing
Flag this post
TinyML is the most impressive piece of software you can run on any ESP32
xda-developers.comΒ·12h
πŸ’¬Smalltalk VMs
Flag this post
Show HN: Everything it took to run an LLM at 10k tok/s on H200s
relace.aiΒ·2dΒ·
Discuss: Hacker News
✨Gleam
Flag this post
Two Paths to Safety: How Go and Rust Made Opposite Bets
dev.toΒ·8hΒ·
Discuss: DEV
πŸ“¦Monorepos
Flag this post
Mocking TSAN is fun
db7.sdf.orgΒ·1dΒ·
πŸ“œBytecode Interpreters
Flag this post
A hitchhiker's guide to CUDA programming
seanzhang.meΒ·1dΒ·
Discuss: Hacker News
πŸ”€SIMD Programming
Flag this post
Microsoft C++ Team at CppCon 2025: Trip Report
devblogs.microsoft.comΒ·7h
πŸ›Interactive Debuggers
Flag this post
An intro to the Tensor Economics blog
lesswrong.comΒ·2d
πŸ—ΊοΈRegion Inference
Flag this post